1. AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging, Monterey, California, USA, September 19-21, 2005
Author: sponsored by ACM SIGPLAN & ACM SIGSOFT
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Debugging in computer science
Classification :
QA
76
.
9
.
D43A23
2005
2. Applied reconfigurable computing : architectures, tools, and applications :
Author: edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
Classification :
QA76
.
9
.
A3
3. Automated and algorithmic debuggin
Author: / Peter A. Fritzson (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Debugging in computer science--Congresses
Classification :
QA
,
76
.
9
,.
D43
,
I54
,
1993
4. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
5. Automated and algorithmic debugging :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Debugging in computer science ; Congresses ;
6. Automated and algorithmic debugging : first International Workshop, AADEBUG'93 , Linkنping, Sweden, May 3-5, 1993 : proceedings
Author: Peter A. Fritzson, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Debugging in computer science
Classification :
QA
76
.
L28
Vol
.
749
7. Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linkoping, Sweden, May 3-5, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Debugging in computer science-- Congresses
Classification :
QA
76
.
9
.
D43
.
I54
1993
8. B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Author: Didier Bert )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، B method )Computer science(,Congresses ، Debugging in computer science
Classification :
QA
76
.
L28
Vol
.
1393
9. CONPAR 90-VAPP IV :
Author: H. Burkhart, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
Classification :
QA76
.
58
.
J65
1990
10. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
11. Debugging techniques in large systems
Author: Courant Computer Science Symposium, 1st, 0791, New York
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Debugging in computer science-- Congresses
Classification :
QA
76
.
6
.
C67
1970
12. Debugging techniques in large systems
Author: / Edited by Randall Rustin
Library: Library of College of Science University of Tehran (Tehran)
Subject: Debugging in computer science -- Congresses
Classification :
QA
76
.
6
.
C67
1970
13. Enterprise information systems :
Author: Joaquim Filipe, José Cordeiro (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
Classification :
T58
.
6
.
I58
2009
14. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
15. Functional and constraint logic programming :
Author: Josep Silva (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
Classification :
QA76
.
62
16. Languages and compilers for parallel computing :
Author: James Brodman, Peng Tu (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Parallel programming (Computer science), Congresses.,Parallelizing compilers, Congresses.
Classification :
QA76
.
58
17. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
18. Parallel virtual machine, EuroPVM '96 :
Author: Arndt Bode [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel computers -- Congresses.,Parallel computers.,Virtual computer systems -- Congresses.
Classification :
QA76
.
58
A763
1996
19. Proceedings
Author: International Conference on Reliable Software, 5791, Los Angeles
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Reliability-- Congresses,، Computer software-- Testing-- Congresses,، Debugging in computer science-- Congresses
Classification :
QA
76
.
6
.
I55
1975
20. Record
Author: IEEE Symposium on Computer Software Reliability
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programs-- Reliability-- Congresses,، Computer programs-- Testing-- Congresses,، Debugging in computer science-- Congresses
Classification :
QA
76
.
5
.
I22a
